// AFTER-WARNING: Parameter 'p' is never used

interface Provider<A>
class ProviderImpl : Provider<String>

fun <T> assertThat(p: Provider<T>) {}

fun mm() {
    assertThat<caret><String>(ProviderImpl())
}